A General Lattice Representation for Explicit Model Predictive Control
نویسندگان
چکیده
Model predictive control (MPC) is one of the most successful techniques to control multi-variable constraint systems. The MPC uses a mathematical model to predict the future effects of control inputs to system behaviors. The optimal control policy is obtained by solving an optimization problem that minimizes/maximizes a performance objective subject to inputs and outputs constraints over a future time horizon (Morari & Lee, 1999, Mayne et al., 2000, Dua et al, 2008). The MPC control laws are open-loop optimal with respect to the corresponding objective function. However, the conventional MPC may require intensive online computation due to the repetitive solutions of an optimization problem. This limits its applications to large and slowly varying systems. In addition, the MPC control strategy is hard to validate, especially for safety critical system (Grancharova & Johansen, 2005, Pistikopoulos, et al. 2001, Alessio & Bemporad 2009). In 2002, Bemporad, Morari, Dua & Pistikopolous introduced the concept of explicit MPC (eMPC). The eMPC reformulates the online optimization in a MPC into a mutli-parametric linear/quadratic program (mpLP/mpQP). The optimal control action is calculated off-line as a continuous piecewise-affine (PWA) function of the state and reference vectors (Saffer et al, 2004, Bemporad et al. 2002a, 2002b). The eMPC has several advantages: i) The online computational time can be reduced to the microsecond-millisecond range. It makes the eMPC attractive for fast systems; ii) The MPC functionality is achieved in an easily verifiable way. The eMPC control policies can be validated before real online operations; iii) The eMPC solutions can be implemented with low-cost hardware (Johansen et al., 2007, Wen & Ma, 2008a, 2008b). The eMPC is then promising to be used in embedded systems, small/medium process systems, where the control systems should not be more expensive than the process systems. The eMPC found successful applications in many areas, e.g. AC-DC converters (Beccuti et al. 2009), autonomous vehicle steering, air separation unit (Grancharova et al. 2004), active valve train, hybrid separation, air condition (Pistikopoulos, et al. 2001), biomedical systems and drug delivery systems (Dua et al, 2004), scheduling (Ryu, & Pistikopoulos, 2007), spacecraft attitude control (Hegrenas et al, 2000)and crude distillation unit (Pannocchia et al, 2007). The eMPC is essentially a strategy of trading time for space. A continuous PWA control map is calculated offline, and stored in memory for online usage (Pannocchia et al, 2007). The 10
منابع مشابه
Designing a novel structure of explicit model predictive control with application in a buck converter system
This paper proposes a novel structure of model predictive control algorithm for piecewise affine systems as a particular class of hybrid systems. Due to the time consuming and computational complexity of online optimization problem in MPC algorithm, the explicit form of MPC which is called Explicit MPC (EMPC) is applied in order to control of buck converter. Since the EMPC solves the optimizati...
متن کاملIrredundant lattice representations of continuous piecewise affine functions
In this paper, we revisit the lattice representation of continuous piecewise affine (PWA) function and give a formal proof of its representation ability. Based on this, we derive the irredundant lattice PWA representation through removal of redundant terms and literals. Necessary and sufficient conditions for irredundancy are proposed. Besides, we explain how to remove terms and literals in ord...
متن کاملA descent method for explicit computations on curves
It is shown that the knowledge of a surjective morphism $Xto Y$ of complex curves can be effectively used to make explicit calculations. The method is demonstrated by the calculation of $j(ntau)$ (for some small $n$) in terms of $j(tau)$ for the elliptic curve with period lattice $(1,tau)$, the period matrix for the Jacobian of a family of genus-$2$ curves complementing the classi...
متن کاملExternal and Internal Incompressible Viscous Flows Computation using Taylor Series Expansion and Least Square based Lattice Boltzmann Method
The lattice Boltzmann method (LBM) has recently become an alternative and promising computational fluid dynamics approach for simulating complex fluid flows. Despite its enormous success in many practical applications, the standard LBM is restricted to the lattice uniformity in the physical space. This is the main drawback of the standard LBM for flow problems with complex geometry. Several app...
متن کاملExplicit Model Predictive Control of Fast Dynamic System
Explicit Model Predictive Control approach provides offline computation of the optimization law by Multi Parametric Quadratic Programming. The solution is Piece wise affine in nature. It is explicit representation of the system states and control inputs. Such law then can be solved using binary search tree and can be evaluated for fast dynamic systems. Implementing such controllers can be done ...
متن کاملar X iv : 0 70 7 . 09 02 v 2 [ qu an t - ph ] 1 8 Ju l 2 00 7 Flow Representation of the Bose – Hubbard Hamiltonian : General Case
In this paper the explicit flow representation to the Bose–Hubbard Hamiltonian is given in the general case. This representation may be useful in creating cat states for the system of atoms trapped in the optical ring. To make macroscopic superpositions (a kind of cat states) of superfluid flows in a Bose– Einstein condensate (BEC) is really an interesting object in Quantum Mechanics. As a gene...
متن کامل